- model reduction
- понижение порядка модели
Авиасловарь. М.А.Левин. 2004.
Авиасловарь. М.А.Левин. 2004.
Reduction — Reduction, reduced, or reduce may refer to:cienceChemistry*Reduction – chemical reaction in which atoms have their oxidation number (oxidation state) changed. **Reduced gas – a gas with a low oxidation number **Ore reduction: see… … Wikipedia
Model Checking — (deutsch auch Modellprüfung) ist ein Verfahren zur vollautomatischen Verifikation einer Systembeschreibung (Modell) gegen eine Spezifikation (Formel). Der Begriff ist motiviert durch die mathematische Formulierung des Problems: Für eine gegebene… … Deutsch Wikipedia
Model Checking — Le Model Checking désigne une famille de techniques de vérification automatique des systèmes dynamiques (souvent d origine informatique ou électronique). Il s agit de vérifier algorithmiquement si un modèle donné, le système lui même ou une… … Wikipédia en Français
Model aircraft — A die cast Boeing 747 400 model. Model aircraft are flying or non flying models of existing or imaginary aircraft using a variety of materials including plastic, diecast metal, polystyrene, balsa wood, foam and fibreglass. Flying designs range… … Wikipedia
Reduction to practice — In United States patent law, the reduction to practice is a concept meaning the embodiment of the concept of an invention. The date of this embodiment is critical to the determination of priority between inventors in an interference proceeding.… … Wikipedia
Model checking — This article is about checking of models in computer science. For the checking of models in statistics, see regression model validation. In computer science, model checking refers to the following problem: Given a model of a system, test… … Wikipedia
Reduction (recursion theory) — In computability theory, many reducibility relations (also called reductions, reducibilities, and notions of reducibility) are studied. They are motivated by the question: given sets A and B of natural numbers, is it possible to effectively… … Wikipedia
Model minority — Sociology … Wikipedia
Model checking — Le Model Checking désigne une famille de techniques de vérification automatique des systèmes dynamiques (souvent d origine informatique ou électronique). Il s agit de vérifier algorithmiquement si un modèle donné, le système lui même ou une… … Wikipédia en Français
model — I (New American Roget s College Thesaurus) n. prototype, pattern, mock up; copy, miniature, replica; style, type; mannequin, lay figure; exemplar, paragon. See representation, goodness, form, perfection, imitation, sculpture. II (Roget s IV) n. 1 … English dictionary for students
Model T — Ford T Ford T Constructeur Ford Production totale 16 482 040 exem … Wikipédia en Français